Section: Partnerships and Cooperations

Actions nationales/National Initiatives

• Projet DIGITEO PASO (Preuve, Analyse Statique, Optimisation), de Sept. 2008 à Avril. 2011. Ce projet, dont le but est notamment d'appliquer des techniques d'optimisation à des problèmes de preuve de propriétés numériques de programmes, est coordonné par S. Putot (équipe MeASI, LIX/CEA), il fédère en outre des chercheurs de l'équipe-projet Typical (B. Werner), du LSS de Supélec (M. Kieffer, E. Walter), et de Maxplus (S. Gaubert).

• Projet ANR Arpège ASOPT (Analyse statique et Optimisation), responsable B. Jeannet. Partenaires: équipe-projet Popart (INRIA Grenoble), équipe MeASI, EADS, et Maxplus. Ce projet a été labellisé par le pôle de compétitivité System@tic. Ce projet a financé notamment le postdoc de S. Sergeev dans l'équipe.

• Participation au projet ANR CPP (Confidence, Proof and Probabilities), responsable J. Goubault Larecq. Partenaires: LSV, CEA List, INRIA Saclay (Comète [responsable], Parsifal, Maxplus), Supelec L2S, Supelec SSE.